# not+partial

51

**Partial index**— A partial index is a database index which has some condition applied to it such that it only includes a portion of the rows in the table. In SQL Server, this type of index is called a Filtered Index.This can allow the index to remain small even… …52

**Partial equivalence relation**— In mathematics, a partial equivalence relation (often abbreviated as PER) R on a set X is a relation which is symmetric and transitive . In other words, it holds for all a, b and c in X that:# (Symmetry) if a R b then b R a # (Transitivity) if a… …53

**Partial fractions in complex analysis**— In complex analysis, a partial fraction expansion is a way of writing a meromorphic function f(z) as an infinite sum of rational functions and polynomials. When f(z) is a rational function, this reduces to the usual method of partial… …54

**Partial redundancy elimination**— In compiler theory, Partial redundancy elimination (PRE) is a compiler optimization that eliminates expressions that are redundant on some but not necessarily all paths through a program. PRE is a form of common subexpression elimination (CSE).An …55

**Partial order reduction**— In computer science, partial order reduction is a technique for reducing the size of the state space to be searched by a model checking algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state… …56

**Partial cloverleaf interchange**— A Parclo A 4 type interchange on the Highway 407 Electronic Toll Route in Ontario A partial cloverleaf interchange or parclo is a modification of a cloverleaf interchange. The parclo interchange was developed by the Ontario Ministry of… …57

**Partial Test Ban Treaty**— The Treaty banning Nuclear Weapon Tests In The Atmosphere, In Outer Space And Under Water, often abbreviated as the Partial Test Ban Treaty (PTBT), Limited Test Ban Treaty (LTBT), or Nuclear Test Ban Treaty (NTBT) (although the latter also refers …58

**Partial evaluation**— In computing, partial evaluation is a technique for program optimization by specialization.A computer program, prog , is seen as a mapping of input data into output data::prog : I {static} imes I {dynamic} o OI {static}, the static data , is the… …59

**Partial plan**— In formal AI planning, a partial plan is a plan which specifies all actions that need to be taken, but does not specify an exact order for the actions where the order does not matter. A linearization of a partial order plan is a total order plan… …60

**Partial word**— A partial word is a string that may contain a number of do not know or do not care symbols. More formally, it is a partial function u: { 0, ldots, n 1 } ightarrow A where A is some finite alphabet. If i in { 0, ldots, n 1 } but u(i) is not… …